An Automata based Model for the

This technical report provides a theoretical basis for the implementation of a TTCN test case simulator. In order to base the implementation on existing code, an automata based model has been chosen, i.e., in the model a TTCN test case shows an automaton like behavior. The procedure is the following: TTCN test cases are transformed into an internal structure, which afterwards can be interpreted by using the provided enabling conditions and execution rules. The model covers control and data ow aspects of normal and concurrent TTCN. Acknowledgements This work was supported by the KWF-Project No. 2555.1 'Graphical Methods in the Test Process'. CR